De nites and the Proper Treatment of Rabbits

نویسندگان

  • Claire Gardent
  • Karsten Konrad
چکیده

We argue that model generation programs, i.e., deduction systems that automatically compute the interpretations satisfying a given formula , can provide a procedural interpretation for semantic theories of natural language. We illustrate this claim by describing how the higher-order model generator Kimba interprets deenite descriptions.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

تـاثیر مصرف قرص متوکسالن در دوره‌ی بارداری بر سیتومورفولوژی هپاتوسیت‌های خرگــوش‎های نسل بعد

Background: Methoxsalon is considered as an effective drug in controlling skin diseases. Since there have been reports concerning cellular disorders following the intake of the drug, this study was undertaken to analyze the effects of methoxsalon treatment on liver in subjects in Tehran Medical university (2003-2004). Materials and Methods: In this experimental study 40 albino rabbits (32 fema...

متن کامل

Prevention and treatment of Encephalitozoon cuniculi infection in immunosuppressed rabbits with fenbendazole

This study was conducted to evaluate the efficacy of oral administration of fenbendazole (20 mg/kg body weight) prior to and after experimental infection of immunosuppressed rabbits with Encephalitozoon cuniculi. A total of thirty rabbits were divided into five groups: NN (non-immunosuppressed; non-infected), IN (immunosuppressed; non-infected), IPI (immunosuppressed; protected-infected), ITI (...

متن کامل

Coordinated Bare De nites

Recent work on the syntax and semantics of functional projections within the noun phrase has had as one goal an explanation for the crosslinguistic distribution of \bare" (determinerless) noun phrases. This article provides an account for an apparent anomaly: the relatively free occurrence of bare noun phrases under coordination. We argue that this construction involves coordination of projecti...

متن کامل

Determination of hair loss (alopecia) cause and effective treatment in laboratory rabbits

In number (16 of 22) of infants in the Dutch laboratory rabbit breeding colony, in aged 45-65 days old, hair loss (alopecia) seen at the top of the head and around a week after the hair fall, was created in a state of complete alopecia. For determination of the cause of hair loss, after the observation and palpation the alopecic area, there have not been any swelling, abscesses, tumors. In skin...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999